![]() Method for checking the completeness and consistency of an information library
专利摘要:
Zur Vereinfachung der Erstellung und Handhabung einer Informationsbibliothek (2), die einer Anzahl von Modulen (Mi; i = 0, 1, 2, ...) zugeordnet ist, aus welchen entsprechend einer vorgegebenen Konfigurationsstruktur (7) eine Einrichtung (6) zusammensetzbar ist, wird ein Verfahren zur Vollständigkeits- und Konsistenzprüfung der Informationsbibliothek (2) angegeben. Danach ist vorgesehen, dass die Informationsbibliothek (2) eine Anzahl von Informationspaketen (3, 3') umfasst, von denen jedes einen Informationskern (4) und eine Meta-Angabe (5) enthält, die die Zugehörigkeit des Informationspakets (3, 3') zu mindestens einem Modul (Mi) definiert, dass eine Kontextbibliothek (9) vorgegeben wird, die eine Anzahl von Kontexteinheiten (10, 10') umfasst, von denen jede Kontexteinheit (10, 10') einen Verweis (11) auf eine Kombination (K) von Modulen (Mi) enthält, für welche Kombination (K) das Vorhandensein eines Informationspakets (3, 3') erforderlich ist, und dass zur Überprüfung der Informationsbibliothek (2) auf Vollständigkeit und Konsistenz getestet wird, ob für eine jede entsprechend der Konfigurationsstruktur (7) gültige Konfiguration (KF) von Modulen (Mi) und eine jede betroffene Kontexteinheit (10, 10'), die auf eine in dieser Konfiguration (KF) enthaltene Kombination (K) verweist, ein bzw. nur ein korrespondierendes Informationspaket (3, 3') vorhanden ist, welches entsprechend seiner Meta-Angabe (5) mit dieser Konfiguration (KF) kompatibel ist und dieser Kombination ...To simplify the creation and handling of an information library (2) associated with a number of modules (Mi; i = 0, 1, 2, ...) from which a device (6) can be assembled in accordance with a given configuration structure (7) is, a procedure for completeness and consistency check of the information library (2) is specified. Thereafter, it is provided that the information library (2) comprises a number of information packets (3, 3 '), each of which contains an information core (4) and a meta-statement (5) indicating the membership of the information packet (3, 3'). ) to at least one module (Mi) defines a context library (9) comprising a number of context units (10, 10 ') each of which context unit (10, 10') has a reference (11) to a combination (K) of modules (Mi) for which combination (K) the presence of an information packet (3, 3 ') is required, and for verification of the information library (2) is tested for completeness and consistency, whether for each one accordingly the configuration structure (7) valid configuration (KF) of modules (Mi) and each affected context unit (10, 10 '), which refers to a combination (K) contained in this configuration (KF), one or only a corresponding information packet ( 3, 3 '), which according to its meta-specification (5) is compatible with this configuration (KF) and this combination ... 公开号:DE102004023634A1 申请号:DE102004023634 申请日:2004-05-10 公开日:2005-12-08 发明作者:Dieter Feichtinger;Georg Görtler;Carsten Dr. Sinz 申请人:Siemens AG; IPC主号:G06F17-30
专利说明:
[0001] DieErfindung bezieht sich auf ein Verfahren zur Vollständigkeits-und Konsistenzprüfungeiner Informationsbibliothek, die einer Anzahl von Modulen zugeordnetist, aus welchen entsprechend einer vorgegebenen Konfigurationsstruktureine Einrichtung zusammensetzbar ist.TheThis invention relates to a method of completenessand consistency checkan information library associated with a number of modulesis, from which according to a given configuration structurea device is composable. [0002] Esist üblich,eine komplexe technische Einrichtung, wie z.B. einen Magnetresonanz(MR)-Tomografen modularzu konzeptionieren. Hierunter wird verstanden, dass die gesamteEinrichtung aus einer Vielzahl einzelner Module, z.B. Magnetspulen,Empfänger,Verstärker,Behandlungstisch, etc. zusammensetzbar ist. Für jedes dieser vorstehend nurdem Typ nach spezifizierten Module existieren in der Regel mehrereVarianten oder Ausführungsformen,z.B. verschiedene Bauformen des Behandlungstisches, verschiedeneMagnetspulen etc., unter welchen im Zuge der Konzeptionierung eineskonkreten Exemplars der Einrichtung auszuwählen ist. Ein Modul ist dabeiin der Regel selbst wiederum aus Modulen zusammengesetzt. Beispielsweisebesteht der Behandlungstisch aus den Modulen Chassis, Höhenverstellung,Auflage, etc., wobei fürjedes dieser Module wiederum mehrere Varianten zur Auswahl stehenkönnen.Des Weiteren könnenauch Verfahrensabläufe(sogenannte „Workflows"), die zur Einstellung,Wartung oder Bedienung der Einrichtung vorzunehmen sind, modularstrukturiert sein. Ein Modul kann in diesem Sinne folglich einengegenständlichenVorrichtungsbestandteil, aber auch einen Software-Bestandteil odereinen Verfahrensablauf zum Inhalt haben.Itis common,a complex technical device, e.g. a magnetic resonance (MR) tomograph modularto conceptualize. This is understood to mean that the entireDevice of a plurality of individual modules, e.g. Solenoids,Receiver,Amplifier,Treatment table, etc. is composable. For each of these only aboveThe type specified modules usually exist severalVariants or embodiments,e.g. different types of treatment table, differentMagnetic coils etc., among which in the course of conception of aconcrete copy of the equipment. A module is includedusually itself in turn composed of modules. For exampleconsists of the treatment table of the modules chassis, height adjustment,Edition, etc., where forEach of these modules in turn has several variants to choose fromcan.Furthermore you canalso procedures(so-called "workflows"), which are used toMaintenance or operation of the device are to make modularbe structured. A module can therefore have asubjectDevice component, but also a software component orhave a process flow to the content. [0003] EineEinrichtung der vorstehend beschriebenen Art existiert demnach nichtin einer einzigen wohldefinierten Bauform. Vielmehr existiert entsprechendeiner jeweils bestimmten Auswahl von Modulen eine Vielzahl unterschiedlicherKonfigura tionen der Einrichtung. Die Gesamtheit aller Konfigurationenwird wiedergegeben durch eine so genannte Konfigurationsstruktur.Die Konfigurationsstruktur enthältdie gegenseitigen Abhängigkeitender Module, also beispielsweise welche Module gegebenenfalls Untereinheiteneines übergeordnetenModuls sind. Weiterhin ist in der Konfigurationsstruktur spezifiziert,welches Modul in einer Konfiguration gegebenenfalls das Vorhandenseineines bestimmten weiteren Moduls erfordert oder welches Modul miteinem bestimmten weiteren Modul in einer Konfiguration gegebenenfallsnicht kombinierbar ist. Eine der Konfigurationsstruktur entsprechendeAuswahl von Modulen wird als „gültige" Konfiguration bezeichnet.In der Regel führtnur eine solche gültigeKonfiguration zu einer funktionstüchtigen Einrichtung.ADevice of the type described above does not exist accordinglyin a single well-defined design. Rather, it exists accordinglya particular selection of modules a variety of differentConfigurations of the device. The totality of all configurationsis represented by a so-called configuration structure.The configuration structure containsthe mutual dependenciesthe modules, so for example which modules subunits if necessarya parentModule are. Furthermore, it is specified in the configuration structure,which module in a configuration possibly the presencerequires a certain additional module or which module witha certain additional module in a configuration if necessarycan not be combined. One corresponding to the configuration structureSelection of modules is referred to as a "valid" configuration.Usually leadsonly such a valid oneConfiguration to a functional device. [0004] Esist häufigerforderlich, im Zusammenhang mit einer technischen Einrichtungeinen bestimmten Bestand an Information zu schaffen. Hierunter fällt beispielsweisedie Dokumentation der Einrichtung, also technische Handbücher, Benutzerhandbücher, Programmieranleitungen,etc. Die im Zusammenhang mit einer technischen Einrichtung erforderlicheInformation umfasst des Weiteren aber auch z.B. eine Parametersammlungzur Parametrierung der Einrichtung, Konfigurationsdateien, Treiber-Softwareod.dgl.Itis commonnecessary, in the context of a technical facilityto create a certain amount of information. This includes, for examplethe documentation of the facility, ie technical manuals, user manuals, programming instructions,etc. The required in connection with a technical deviceHowever, information also includes e.g. a parameter collectionfor the parameterization of the device, configuration files, driver softwareor the like. [0005] Herkömmlicherweisewird die der Einrichtung zugeordnete Information, z.B. also dasHandbuch oder die Parametersammlung, für jede Konfiguration der Einrichtungindividuell erstellt. Bei der Vielzahl möglicher Konfigurationen einerkomplexen technischen Einrichtung, wie des anfangs beispielhaftgenannten MR-Tomografen, ist jedoch eine individuelle Anpassungder Information an jede möglicheKonfiguration aufgrund des damit verbundenen Aufwands kaum mehrmöglich.Alternativ dazu wird häufigim Zusammenhang mit einer technischen Einrichtung Information geschaffen,die füreine Vielzahl von Konfigurationen der Einrichtung gleichermaßen gültig ist,z.B. in Form eines Universal-Handbuchs, das gleichermaßen allemöglichen Konfigurationender Einrichtung abdeckt. Hierdurch wird jedoch insbesondere beihoher Komplexitätder Einrichtung oder bei vielen Konfigurationsmöglichkeiten die Handhabbarkeitder Information in der Regel beeinträchtigt.traditionally,the information associated with the device, e.g. so thatManual or the parameter collection, for each configuration of the facilityindividually created. With the multiplicity of possible configurations onecomplex technical device, as the first examplementioned MR tomograph, but is an individual adaptationthe information to every possible oneNo more configuration due to the effort involvedpossible.Alternatively, it becomes commoncreated information in connection with a technical device,the fora variety of configurations of the device is equally valid,e.g. in the form of a universal handbook, all alikepossible configurationscovering the device. However, this is especially athigh complexitythe device or in many configuration options, the handlingthe information is generally impaired. [0006] Vordiesem Hintergrund ist es sinnvoll, bei einer komplexen, modularstrukturierten technischen Einrichtung die zugeordnete Informationim Hinblick auf eine jede konkrete Konfiguration der Einrichtungdynamisch, d.h. automatisiert, aus einer Informationsbibliothekauszuwählen,in welcher ein alle Konfigurationen abdeckender Informationsbestandhinterlegt ist. Hierbei stellt sich jedoch das Problem, dass dieeiner komplexen Einrichtung zuzuordnende Informationsbibliothekhäufigderart umfangreich ist, dass sie kaum mehr zu überblicken oder zu kontrollierenist. Hierzu trägtinsbesondere auch bei, dass infolge der modularen Strukturierungder Einrichtung oft eine Vielzahl unterschiedlicher Experten jeweilsInformation zu einem Teilbereich der Einrichtung erstellt und indie Informationsbibliothek einbringt. Gegebenenfalls vorhandeneFehler oder Lückeninnerhalb der Informationsbibliothek werden daher unter Umständen nichtoder erst sehr späterkannt.In frontThis background makes sense in a complex, modularstructured technical device the associated informationin terms of any specific configuration of the devicedynamic, i. automated, from an information libraryselectin which an information covering all configurationsis deposited. However, this raises the problem that thea complex library of information libraryoftenso extensive that they are hard to overlook or controlis. Contributes to thisin particular also in that due to the modular structuringThe facility often has a variety of different experts eachInformation about a subsection of the device is created and inbrings in the information library. If necessary existingMistakes or gapstherefore, within the information library may not beor very laterecognized. [0007] DerErfindung liegt die Aufgabe zugrunde, ein Verfahren anzugeben, welchesdie Erstellung und Handhabung einer Informationsbibliothek, dieeiner modular strukturierten Einrichtung zugeordnet ist, vereinfacht.Of theInvention has for its object to provide a method whichthe creation and handling of an information library, thea modular structured device is assigned, simplified. [0008] DieseAufgabe wird erfindungsgemäß gelöst durchdie Merkmale des Anspruchs 1. Danach ist vorgesehen, die Informationsbibliothekderart zu strukturieren, dass sie eine Anzahl von Informationspaketenumfasst, deren jedes einen Informationskern und eine Meta-Angabeenthält.Der Informationskern enthältdabei die eigentliche Information, z.B. eine technische Dokumentationzu einem oder mehreren Modulen der Einrichtung. Diese Zugehörigkeitdes Informationspakets zu einem oder mehreren Modulen wird durchdie Meta-Angabe definiert.TheseThe object is achieved bythe features of claim 1. Thereafter, the information library is providedto structure such that they have a number of information packetseach of which includes an information core and a meta-statementcontains.The information core containsthe actual information, e.g. a technical documentationto one or more modules of the institution. This affiliationof the information packet to one or more modules is throughdefines the meta-statement. [0009] Weiterhinist die Vorgabe einer Kontextbibliothek vorgesehen, die eine Anzahlvon Kontexteinheiten umfasst. Jede Kontexteinheit enthält dabeieinen Verweis auf eine Kombination von Modulen, für welchedas Vorhandensein eines Informationspakets erforderlich ist. Derabstrakte Begriff „Kombination" ist hierbei im Sinnevon „eineinzelnes Modul oder mehrere in Kombination" zu verstehen. Der Verweis kann dementsprechend auchauf ein einzelnes Modul zeigen.Fartheris the specification of a context library provided that a numberof contextual units. Each context unit contains ita reference to a combination of modules for whichthe presence of an information packet is required. Of theabstract term "combination" is hereby in the sensefrom "onesingle module or more in combination. "The reference can be made accordinglypoint to a single module. [0010] Erfindungsgemäß wird nungetestet, ob füreine jede gültigeKonfiguration von Modulen und fürjede von dieser Konfiguration betroffene Kontexteinheit ein undnur ein korrespondierendes Informationspaket vorhanden ist.According to the invention will nowtested forone each validConfiguration of modules and foreach context unit affected by this configurationonly one corresponding information packet is present. [0011] EineKontexteinheit ist dann von einer Konfiguration „betroffen", wenn sie auf eine in dieser Konfigurationenthaltene Kombination von Modulen verweist.AContext unit is then "affected" by a configuration when referring to one in this configurationcontains a combination of modules. [0012] EinInformationspaket „korrespondiert" dann mit einer Kontexteinheitin Hinblick auf eine Konfiguration, wenn es anhand seiner Meta-Angabeals kompatibel mit der Konfiguration und als zugehörig zu derdurch die Kontexteinheit ausgewiesene Kombination von Modulen definiertist.OneInformation package then "corresponds" with a context unitin terms of a configuration, if it is based on its meta-specificationas compatible with the configuration and as belonging to thedefined by the context unit combination of modulesis. [0013] Weiterhinist ein Informationspaket dann „einer Kombination von Modulenzugehörig", wenn es jedem einzelnenModul der Kombination zugehörigist. Ein Informationspaket ist dann mit einer gegebenen Konfiguration „kompatibel", wenn es nicht zueinem oder mehreren Modulen dieser Konfiguration explizit nichtzugehörigist. Die Kompatibilitätoder Inkompatibilitätkann sich dabei auch aus der Konfigurationsstruktur ergeben. Istbeispielsweise ein Informationspaket einem Modul „System_001" als zugehörig definiert,welches gemäß der Konfigurationsstrukturnur alternativ zu einem weiteren Modul „System_002" auszuwählen ist,so ist das Informationspaket diesem weiteren Modul explizit nichtzugehörigund damit inkompatibel mit allen Konfigurationen, die das Modul „System_002" enthalten.Fartheris an information pack then "a combination of modules"if it belongs to each oneModule associated with the combinationis. An information packet is then "compatible" with a given configuration if it is not tooone or more modules of this configuration explicitly notbelongingis. The compatibilityor incompatibilityThis can also result from the configuration structure. isfor example, defines an information packet as belonging to a module "System_001",which according to the configuration structureonly as an alternative to a further module "System_002" is to be selected,so the information package is not explicitly this other modulebelongingand thus incompatible with all configurations containing the module "System_002". [0014] Istinnerhalb einer jeden gültigenKonfiguration fürjede betroffene Kontexteinheit ein korrespondierendes Informationspaketvorhanden, so wird die Informationsbibliothek als „vollständig" erkannt. Im Umkehrschlussist die Informationsbibliothek „unvollständig", wenn bei einer gültigen Konfiguration zu mindestens einerbetroffenen Kontexteinheit kein korrespondierendes Informationspaketexistiert.iswithin each validConfiguration forEach affected context unit has a corresponding information packagepresent, the information library is recognized as "complete." Converselythe information library is "incomplete" if at least one of a valid configuration existsaffected context unit no corresponding information packageexist. [0015] Istinnerhalb einer jeden gültigenKonfiguration fürjede betroffene Kontexteinheit nur ein korrespondierendes Informationspaketvorhanden, so wird die Informationsbibliothek als „konsistent" erkannt. Im Umkehrschlussist die Informationsbibliothek „inkonsistent", wenn bei einergültigenKonfiguration zu mindestens einer betroffenen Kontexteinheit mindestenszwei korrespondierende, und damit konkurrierende Informationspaketeexistieren.iswithin each validConfiguration foreach affected context unit only one corresponding information packageIf present, the information library is recognized as "consistent." Converselyis the information library "inconsistent" if at avalidConfiguration for at least one affected context unit at leasttwo corresponding and thus competing information packagesexist. [0016] Durchdas erfindungsgemäße Verfahrenist eine dezentrale und modulbezogene Erstellung einer Informationsbibliothekdurch eine Vielzahl unterschiedlicher Bearbeiter ermöglicht,ohne dass eine Unvollständigkeitoder Inkonsistenz der Informationsbibliothek befürchtet werden müsste. Soerlaubt das Verfahren, dass – beispielsweisedurch eine zentrale Projektleitung – mit Hilfe der Kontextbibliothekeine Anzahl von Situationen definiert werden kann, in welchen einInformationspaket vorhanden sein muss. Es wird somit eine Grobstrukturoder ein Inhaltsverzeichnis der Informationsbibliothek vorgegeben.Die Erstellung der einzelnen Informationspakete kann davon abervölligunabhängig,insbesondere durch die fürdie Einzelbereiche der Einrichtung zuständigen Experten erfolgen. Insbesonderekann die Zugehörigkeiteines jeden Informationspakets zu Modulen der Einrichtung individuellund unabhängigvon der durch die Kontexteinheiten vorgegebenen Richtlinie definiertwerden. Auf diese Weise ist es möglich,ein gemein sames Informationspaket für mehrere Kontexteinheitenzu erzeugen und hierdurch die Erstellung redundanter Informationzu vermeiden. Andererseits ist es aber auch möglich, mehrere Informationspaketeim Hinblick auf dieselbe Kontexteinheit zu erstellen, wobei jedesdieser Informationspakete fürverschiedene Konfigurationen der Einrichtung relevant ist. Auf diese WeisekönnenkonfigurationsabhängigeUnterschiede innerhalb desselben Kontextes differenziert ausgeführt werden.By means of the method according to the invention, a decentralized and module-related creation of an information library by a large number of different processors is made possible, without any incompleteness or inconsistency of the information library having to be feared. Thus, the method allows - for example, by a central project management - using the context library, a number of situations can be defined, in which an information package must be present. Thus, a rough structure or a table of contents of the information library is specified. However, the creation of the individual information packages can be done completely independently thereof, in particular by the experts responsible for the individual areas of the institution. In particular, the affiliation of each information packet to modules of the device can be defined individually and independently of the policy prescribed by the context units. In this way it is possible to create a common information package for several con To create text units and thereby avoid the creation of redundant information. On the other hand, it is also possible to create several information packets with regard to the same context unit, each of these information packets being relevant to different configurations of the device. In this way, configuration-dependent differences within the same context can be differentiated. [0017] Infolgeder erfindungsgemäßen Prüfung aufVollständigkeitund Konsistenz, die bevorzugt automatisiert abläuft, ist dabei auf effektiveWeise sichergestellt, dass die durch die Kontextbibliothek vorgegebenen Richtlinieneindeutig erfülltsind und somit Fehler oder Lückender Informationsbibliothek vermieden sind.As a resultthe test according to the inventioncompletenessand consistency, which is preferably automated, is effectiveThis ensures that the guidelines specified by the context libraryclearly fulfilledare and thus mistakes or omissionsthe information library are avoided. [0018] Zusammengefasstwird durch das Fehlen einer direkten Abhängigkeit der Informationsbibliothekvon der Kontextbibliothek und die Vollständigkeits- und Konsistenzprüfung aufeffektive Weise ermöglicht,die Informationsbibliothek so einfach wie möglich, aber dabei so differenziertwie nötigzu strukturieren, so dass der Arbeitsaufwand zur Erstellung derInformation erheblich reduziert werden kann. Hierzu trägt auchbei, dass jeder Bearbeiter dank der automatischen Vollständigkeits-und Konsistenzprüfungeines Informationspakets selbstständig die Zugehörigkeitdes Pakets festlegen kann, ohne das Gesamtkonzept der Informationsbibliothekzu gefährden.Eine dem Bearbeitungsvorgang vorausgehende Absprache der Bearbeiter,die mit wachsender Komplexitätder Informationsbibliothek und zunehmender Anzahl von Bearbeiternzunehmend schwieriger würde,ist nicht erforderlich. Ebenso könnendie Kontextbibliothek oder einzelne Kontexteinheiten jederzeit geändert werden,ohne dass hierdurch eine Neustruktierung der bestehenden Informationsbibliothekerforderlich würde.Summarizedis due to the lack of direct dependence of the information libraryfrom the context library and the completeness and consistency checkeffective way allowsthe information library as simple as possible, but so differentiatedas necessaryto structure, so the workload to create theInformation can be significantly reduced. Contributes to this toothanks to the automatic completion ofand consistency checkan information package independently the affiliationof the package, without the overall concept of the information libraryto endanger.An agreement of the processors preceding the processing procedure,the ones with increasing complexitythe information library and increasing number of editorswould become increasingly difficultnot necessary. Likewisethe context library or individual context units are changed at any time,without thereby re-structuring the existing information librarywould be required. [0019] Umdie Fehlerbehebung bei Unvollständigkeitder Informationsbibliothek zu erleichtern, wird bei Feststellungder Unvoll ständigkeitder oder jeder Kontext, fürwelchen kein korrespondierendes Informationspaket vorhanden ist,angezeigt. Dies kann durch Anzeige der entsprechenden Kontexteinheitoder äquivalenterweise durchAnzeige der durch diese ausgewiesene Kombination von Modulen, bevorzugtzusammen mit der Anzeige der entsprechenden Konfiguration erfolgen.Aroundtroubleshooting incompletenessto facilitate the information library, upon detectionthe incompletenessthe or each context, forwhich there is no corresponding information packet,displayed. This can be done by displaying the appropriate context unitor equivalently byDisplay of the designated by this combination of modules, preferredtogether with the display of the corresponding configuration. [0020] Ebensowerden bevorzugt, wenn die Inkonsistenz der Informationsbibliothekfestgestellt wurde, diejenigen Informationspakete angezeigt, dieim Hinblick auf eine Konfiguration und eine betroffene Kombination konkurrieren.As wellare preferred if the inconsistency of the information librarywas found, those information packages displayed thatcompete with regard to a configuration and an affected combination. [0021] Besondersvorteilhaft im Hinblick auf eine einfache Verfahrensdurchführung istdie Hinterlegung sowohl der Konfigurationsstruktur, der Informationsbibliothekund der Kontextbibliothek in Form von Textdateien, die im XML(eXtensibleMarkup Language)-Format vorliegen.Especiallyis advantageous in terms of a simple process implementationthe deposit of both the configuration structure, the information libraryand the context library in the form of text files stored in XML (eXtensibleMarkup Language) format. [0022] Bevorzugtist die Konfigurationsstruktur in Form einer Baumstruktur hinterlegt,an deren Knoten- oder Verzweigungspunkten jeweils ein Modul angeordnetist. Als Baumstruktur wird ein hierarchisch geordnetes Beziehungs-und Abhängigkeitsgeflechtmit einem oder mehreren „Wurzel"-Modulen in einerobersten Hierarchieebene verstanden. Zu jedem dieser „Wurzel"-Module stehen dabeiein oder mehrere Module einer nach- oder untergeordneten Hierarchieebenein Beziehung, von welchen gegebenenfalls wiederum Module einer weiterennachgeordnten Hierarchieebene in Beziehung stehen, etc.Prefersthe configuration structure is stored in the form of a tree structure,each arranged at the node or branch points a moduleis. The tree structure is a hierarchically ordered relationshipand dependency networkwith one or more "root" modules in oneunderstood at the highest hierarchical level. Each of these "root" modules are includedOne or more modules of a subordinate or subordinate hierarchical levelin relationship, which in turn may be modules of anothersubordinated hierarchical level, etc. [0023] ImHinblick auf die Verfahrensdurchführung hat es sich als vorteilhafterwiesen, die Module der Einrichtung in „Typ"-Module und „Varianten"-Module zu gliedern. Ein „Typ"-Modul (oder: typenode) spezifiziert dabei eine bestimmte Art von Modulen, z.B. „Behandlungstisch". Ein „Varianten"-Modul (oder: itemnode) spezifiziert eine konkrete Variante oder Ausführung eines „Typ"-Moduls, z.B. einekonkrete Bauform des Behandlungstisches. Innerhalb der Konfigurationsstruktursind aufeinander folgende Hierarchieebenen bevorzugt alternierendentweder Typ-Modulen oder Varianten-Modulen zugewiesen, wobei einer „Typ"-Hierarchieebene stetseine „Varianten"-Hierarchieebenenachgeordnet ist.in theWith regard to the procedure, it has proved to be advantageousproved to divide the modules of the device into "type" modules and "variant" modules. A "type" module (or: typenode) specifies a particular type of module, e.g. "Treatment Table." A "Variants" module (or: itemnode) specifies a specific variant or implementation of a "type" module, for example aconcrete design of the treatment table. Within the configuration structureconsecutive hierarchical levels are preferably alternatingeither type modules or variant modules assigned, with a "type" hierarchy level alwaysa "variant" hierarchy levelis subordinate. [0024] DieAufgliederung der Konfigurationsstruktur in Typ-Module und Varianten-Moduleerlaubt insbesondere eine einfache Überprüfung einer vorgegebenen Konfigurationauf Gültigkeit.Diese Prüfungerfolgt zweckmäßigerweisemittels eines rekursiven Formalismus, bei welchem eine Konfigurationvon Modulen dann als gültigerkannt wird, wenn innerhalb dieser Konfiguration jedes Typ-Modulund jedes Varianten-Modul vorgegebene Gültigkeitskriterien erfüllt. DieGültigkeitskriterienfür einTyp-Modul sind insbesonderebevorzugt verschieden von den Gültigkeitskriterienfür einVarianten-Modul.TheBreakdown of the configuration structure into type modules and variant modulesallows in particular a simple check of a given configurationon validity.This examconveniently takes placeby means of a recursive formalism in which a configurationof modules then as validis detected if within this configuration each type moduleand each variant module meets predetermined validity criteria. Thevalidity criteriafor aType module are in particularpreferably different from the validity criteriafor aVariant module. [0025] AlsGültigkeitskriterienfür einTyp-Modul werden vorzugsweise die folgenden Bedingungen geprüft: T1:Die Anzahl der dem Typ-Modul (in der zu testenden Konfiguration)ausgewähltennachgeordneten Varianten-Module muss innerhalb eines vorgegebenenAuswahl-Bereichs liegen.The validity criteria for a type module are preferably the following conditions: T1: The number of downstream Varians selected for the type module (in the configuration under test) ten modules must be within a specified selection range. [0026] DieserAuswahl-Bereich ist dabei bevorzugt durch die Konfigurationsstrukturfür jedesTyp-Modul individuell bestimmt. T2: Alle ausgewählten, nachgeordnetenVarianten-Module müssenvorgegebene Gültigkeitskriterienfür Varianten-Module,insbesondere die nachfolgend eingeführten Kriterien I1 bis I3,erfüllen. T3:Die Konfiguration darf als Variante des betrachteten Typ-Modulskeine Varianten-Module umfassen, für welche diese Nachordnungnicht explizit durch die Konfigurationsstruktur zugelassen ist.This selection area is preferably determined individually by the configuration structure for each type module. T2: All selected, subordinate variant modules must fulfill specified validity criteria for variant modules, in particular the subsequently introduced criteria I1 to I3. T3: As a variant of the considered type module, the configuration may not include any variant modules for which this reordering is not explicitly permitted by the configuration structure. [0027] Für ein Varianten-Modulwerden vorzugsweise die folgenden Gültigkeitskriterien herangezogen: I1:Alle nachgeordneten Typ-Module müssenvorgegebene Gültigkeitskriterienfür Typ-Module,insbesondere T1 bis T3, erfüllen. I2:Alle dem betrachteten Varianten-Modul zugeordneten Bedingungen müssen erfüllt sein.For a variant module, the following validity criteria are preferably used: I1: All subordinate type modules must fulfill specified validity criteria for type modules, in particular T1 to T3. I2: All conditions assigned to the considered variant module must be fulfilled. [0028] Unterliegtalso beispielsweise das betrachtete Varianten-Modul der Bedingung,dass in der Konfiguration ein weiteres Modul enthalten sein muss,so wird geprüft,ob dieses Modul in der Konfiguration tatsächlich enthalten ist. Unterliegtdas betrachtete Variantenmodul der Bedingung, das ein weiteres Modulin derselben Konfiguration nicht vorhanden sein darf, so wird geprüft, ob diesesModul in der vorliegenden Konfiguration tatsächlich nicht ausgewählt ist. I3:Unreferenzierte Typ-Module und ihre Varianten dürfen in der vorliegenden Konfigurationnicht verwendet werden.If, for example, the considered variant module is subject to the condition that another module must be included in the configuration, then it is checked whether this module is actually contained in the configuration. If the considered variant module is subject to the condition that another module may not be present in the same configuration, then it is checked whether this module is actually not selected in the present configuration. I3: Unreferenced type modules and their variants may not be used in the present configuration. [0029] EinTyp-Modul wird dabei dann als unreferenziert erkannt, wenn es inder Konfigurationsstruktur nicht als nachgeordneter (Unter-)Typdes betrachteten Varianten-Moduls erscheint.OneType module is then recognized as unreferenced if it is inthe configuration structure is not a subordinate (sub) typeof the considered variant module appears. [0030] Nachfolgendwird ein Ausführungsbeispielder Erfindung anhand einer Zeichnung näher erläutert. Darin zeigen:followingbecomes an embodimentof the invention explained in more detail with reference to a drawing. Show: [0031] 1 schematischein Informationssystem mit einer Informationsbibliothek, die einerAnzahl von Modulen zugeordnet ist, aus welchen entsprechend einervorgegebenen Konfigurationsstruktur eine Einrichtung zusammensetzbarist, sowie mit einer Kontextbibliothek, in welcher eine Anzahl vonKombinationen von Modulen angegeben ist, für welche das Vorhandenseinjeweils eines Informationspaketes erforderlich ist, 1 schematically an information system with an information library, which is assigned to a number of modules, from which according to a given configuration structure, a device is composable, as well as with a context library, in which a number of combinations of modules is specified, for which the presence of each information packet required is [0032] 2 ineinem Baumdiagramm eine konkrete Ausführung der Konfigurationsstrukturgemäß 1, 2 in a tree diagram a concrete execution of the configuration structure according to 1 . [0033] 3 auszugsweiseeine XML-Kodierung der Konfigurationsstruktur gemäß 2, 3 excerpts an XML coding of the configuration structure according to 2 . [0034] 4 auszugsweiseeine XML-Kodierung eines Informationspaketes gemäß 1 sowieeine XML-Kodierung einer Kontexteinheit gemäß 1, 4 excerpts an XML encoding of an information packet according to 1 and an XML encoding of a context unit according to 1 . [0035] 5 dieBenutzeroberflächeeines Editors zum Bearbeiten der Informationsbibliothek sowie zumAnzeigen eines Vollständigkeits-oder Konsistenzfehlers und 5 the user interface of an editor for editing the information library and for displaying a completeness or consistency error, and [0036] 6 dieBenutzeroberflächeeines weiteren Editors zum Bearbeiten der Meta-Angabe eines Informationspaketsder Informationsbibliothek. 6 the user interface of another editor for editing the meta information of an information package of the information library. [0037] Einanderentsprechende Teile und Größen sindin allen Figuren stets mit den gleichen Bezugszeichen versehen.each othercorresponding parts and sizes arealways provided with the same reference numerals in all figures. [0038] Dasin 1 schematisch dargestellte Informationssystem 1 umfassteine Informationsbibliothek 2 mit einer Vielzahl von einzelnenInformationspaketen 3,3'. Jedes Informationspaket 3,3' umfasst einenInformationskern 4 sowie eine Meta-Angabe 5. DerInformationskern 4 beinhaltet hierbei die eigentliche Informationdes Informationspakets 3,3'. Anhand der Meta-Angabe 5 istdie Zugehörigkeitdes Informationspakets 3,3' zu einem oder mehreren ModulenMi (i = 0,1,2,3,...,18) einer technischen Einrichtung 6 definiert.This in 1 schematically illustrated information system 1 includes an information library 2 with a variety of individual information packages 3 . 3 ' , Every information pack 3 . 3 ' includes an information core 4 as well as a meta-statement 5 , The information core 4 contains here the actual information of the information package 3 . 3 ' , Based on the meta-statement 5 is the affiliation of the information package 3 . 3 ' to one or more modules Mi (i = 0,1,2,3, ..., 18) of a technical device 6 Are defined. [0039] Beider Einrichtung 6 handelt es sich insbesondere um einenMagnetresonanz(MR)-Tomografen. Bei den Modulen Mi handelt es sichinsbesondere um Bestandteile des Tomografen (Hardware und Software)sowie um Verfahrensabläufe(Workflows), die im Zuge der Einstellung, Wartung oder Bedienungdes Tomografen vorzunehmen sind. Der Informationskern 4 einesjeden Informationspakets 3,3' beinhaltet dabei insbesondere technischeDokumentation zu einem oder mehreren Modulen Mi, insbesondere alsobezüglicheines Bestandteils des Tomografen und/oder eines Verfahrensablaufs.At the device 6 in particular, it is a magnetic resonance (MR) tomograph. In particular, the modules Mi are components of the tomograph (hardware and software) as well as procedures (workflows) that are involved in the setting, maintenance or operation of the tomograph to be made. The information core 4 of each information packet 3 . 3 ' In particular, this includes technical documentation for one or more modules Mi, ie in particular with regard to a component of the tomograph and / or a method sequence. [0040] DieModule Mi stehen zueinander in Abhängigkeiten, welche durch eineso genannte Konfigurationsstruktur 7 wiedergegeben werden.Die in 1 schematisch und ausschnitthaft dargestellteKonfigurationsstruktur 7 ist nach Art einer Baumstrukturaufgebaut und umfasst ein „Wurzel"-Modul M0, das alleweiteren Module M2-M18 als Untereinheiten umfasst.The modules Mi are interdependent due to a so-called configuration structure 7 be reproduced. In the 1 schematic and fragmentary illustrated configuration structure 7 is constructed in the manner of a tree structure and comprises a "root" module M0, which includes all further modules M2-M18 as subunits. [0041] Jedebeliebige Auswahl von Modulen Mi, durch welche die in der Konfigurationsstruktur 7 enthaltenen Abhängigkeitenerfülltsind, und durch welche somit eine vollständige und funktionstüchtige Einrichtung 6 realisiertist, wird als gültigeKonfiguration bezeichnet. Eine die Module M0, M1, M3, M4, M6, M7,M8, M11, M12 und M14 umfassende Konfiguration KF ist in 1 beispielhaftoptisch hervorgehoben.Any selection of modules Mi through which the in the configuration structure 7 contained dependencies are met, and thus by what a complete and functional device 6 is realized is called a valid configuration. A configuration KF comprising the modules M0, M1, M3, M4, M6, M7, M8, M11, M12 and M14 is in 1 exemplarily highlighted. [0042] DasInformationssystem 1 umfasst weiterhin eine Kontextbibliothek 9 miteiner Anzahl von Kontexteinheiten 10,10'. Jede Kontexteinheit 10,10' enthält einenVerweis 11 auf eine bestimmte Kombination von Modulen Miund spezifiziert damit eine bestimmte Situation, für welcheein korrespondierendes Informationspaket 3,3' vorhanden seinmuss.The information system 1 also includes a context library 9 with a number of context units 10 . 10 ' , Every context unit 10 . 10 ' contains a reference 11 to a specific combination of modules Mi and thus specifies a particular situation for which a corresponding information packet 3 . 3 ' must be present. [0043] Beispielhaftist in 1 angedeutet, dass die Kontexteinheit 10' auf eine KombinationK der Module M12 und M14 verweist und damit festlegt, dass ein Informationspaket 3,3' für den Fall,dass die Module M12 und M14 in einer gültigen Konfiguration KF enthaltensind, zur Verfügungstehen muss. Die Kontextbibliothek 9 stellt somit quasiein Inhaltsverzeichnis einer Dokumentation der Einrichtung 6 dar,dessen Abschnitte für jedegültigeKonfiguration der Einrichtung 6 dynamisch mit dem Inhaltdes Informationskerns 4 des jeweils korrespondierendenInformationspakets 3,3' ausgefüllt werden kann.Exemplary is in 1 hinted that the context unit 10 ' refers to a combination K of the modules M12 and M14 and thus specifies that an information package 3 . 3 ' in the event that the modules M12 and M14 are included in a valid configuration KF, must be available. The context library 9 thus provides a kind of table of contents of a documentation of the device 6 its sections for each valid configuration of the device 6 dynamically with the content of the information core 4 of the corresponding information packet 3 . 3 ' can be completed. [0044] Voraussetzunghierfürist, dass die Informationsbibliothek 2 vollständig undkonsistent ist, dass also fürjede gültige Konfigurationzu jeder betroffenen Kontexteinheit 10,10' stets genauein Informationspaket 3,3' korrespondiert.Condition for this is that the information library 2 is complete and consistent, that is, for each valid configuration to each affected context unit 10 . 10 ' always exactly one information package 3 . 3 ' corresponds. [0045] In 2 istdie Konfigurationsstruktur 7 an einem vereinfachten Beispielkonkret ausgeführt.In dieser Darstellung ist insbesondere die hierarchische Ordnungder Konfigurationsstruktur 7 erkennbar. Weiterhin ist erkennbar,dass die Module Mi in (mit rechteckigen Rahmen symbolisierte) Typ-Module Mk (k = 0,3,6-10)sowie (mit runden Rahmen symbolisierte) Varianten-Module M1 (l =1,2,4,5,11-18) unterteilt sind. Typ-Module Mk einerseits und Varianten-ModuleM1 andererseits sind in sechs aufeinander folgenden HierarchieebenenEj (j = 0,1,2,...,5) alternierend angeordnet, wobei eine mit Varianten-ModulenM1 besetzte Hierarchieebene E1,E3,E5 stets einer übergeordnetenHierarchieebene E0,E2,E4 folgt, in welcher die diesen Varianten-ModulenM1 jeweils zugeordneten Typ-Module Mk angeordnet sind.In 2 is the configuration structure 7 Concretely executed on a simplified example. In this representation, in particular, the hierarchical order of the configuration structure 7 recognizable. Furthermore, it can be seen that the modules Mi in (with rectangular frame symbolized) type modules Mk (k = 0,3,6-10) and (with round frame symbolized) variant modules M1 (l = 1,2,4, 5, 11-18). Type modules Mk on the one hand and variant modules M1 on the other hand are arranged alternately in six successive hierarchy levels Ej (j = 0,1,2, ..., 5), wherein one occupied with variant modules M1 hierarchy level E1, E3, E5 always a higher hierarchical level E0, E2, E4 follows, in which the these modules modules M1 each associated type modules Mk are arranged. [0046] Aus 2 gehthervor, dass innerhalb der Konfigurationsstruktur 7 zweialternative Varianten des Typs „System" (Modul M3) existieren, nämlich „Harmony" (Modul M4) und „Concerto" (Modul M5). Die „System"-Variante „Harmony" umfasst drei Subkomponentenvom Typ „MPCU" (Modul M6) bzw. „Receiver" (Modul M7) bzw. „Rx4" (Modul M8). DerTyp „Receiver" kann wiederum auszwei alternativen Varianten „R-2" (Modul M12) und „R-4" (Modul M13) gewählt werden,wobei letztere Variante mit einer Bedingung 12 verknüpft ist,gemäß welcherbei Auswahl von „R-4" gleichzeitig für den Typ „Rx4" (Modul M8) die zugehörige Variante „X2" (Modul 15)ausgewähltsein muss.Out 2 it turns out that within the configuration structure 7 There are two alternative variants of the type "system" (module M3), namely "Harmony" (module M4) and "Concerto" (module M5). The "system" variant "Harmony" comprises three subcomponents of the "MPCU" type (module M6) or "receiver" (module M7) or "Rx4" (module M8). The type "receiver" can in turn be selected from two alternative variants "R-2" (module M12) and "R-4" (module M13), the latter variant having a condition 12 according to which, when selecting "R-4", the corresponding variant "X2" (module 15 ) must be selected. [0047] In 3 isteine Textdatei 13 auszugsweise dargestellt, in welcherdie in 2 bildhaft dargestellte Konfigurationsstruktur 7 ineiner dem XML(eXtensible Markup Language)-Standard entsprechendenTextform kodiert ist. Das Typ-Modul M0 ist hier durch die Textsequenz <Type ...> ... </Type> angegeben, ein nachgeordnetesTyp-Modul M3,M6-M10 entsprechend durch <SubType ...> ... </SubType>. Ebenso ist ein Varianten- Modul durch die Textsequenz <Item ...> ... </Item> angegeben. Die Identifizierungeines bestimmten Typ-Moduls Mk oder Varianten-Moduls M1 erfolgtdurch Verweis IDREF=„..." auf einen eindeutigenIdentifikationsnamen des jeweiligen Moduls Mi, z.B. IDREF=„INT_ConsoleType" für das ModulM0, das gemäß 2 als „Type" bezeichnet ist.Die Hierarchieebenen E0 bis E5 sind in 3 durchunterschiedliche Einrückungen gekennzeichnet.Durch Variablen „MinOccurs" und „MaxOccurs" kann für jedesTyp-Modul Mk ein Auswahlbereich 14 vorgegeben werden, durchwelchen festgelegt ist, wieviele nachgeordnete Varianten-ModuleM1 innerhalb einer gültigenKonfiguration KF gleichzeitig ausgewählt sein dürfen. Die Textsequenz MinOccurs=„1" MaxOccurs=„1" in der dem ModulM0 zugeordneten <Type...>-Sequenz bedeutetalso, dass in einer gültigen KonfigurationKF stets mindestens und maximal eines der zugehörigen Varianten-Module M1 („Main") oder M2 („Satellite") ausgewählt seinmüssenbzw. dürfen.In 3 is a text file 13 shown in excerpts, in which the in 2 Illustrated configuration structure 7 is encoded in a text form conforming to the XML (eXtensible Markup Language) standard. The type module M0 is indicated here by the text sequence <Type ...> ... </ Type>, a subordinate type module M3, M6-M10 correspondingly by <SubType ...> ... </ SubType> , Similarly, a variant module is indicated by the text sequence <Item ...> ... </ Item>. The identification of a specific type module Mk or variant module M1 is made by reference IDREF = "..." to a unique identification name of the respective module Mi, eg IDREF = "INT_ConsoleType" for the module M0, according to 2 is denoted as "Type." The hierarchy levels E0 to E5 are in 3 characterized by different indentations. Variables "MinOccurs" and "MaxOccurs" allow a selection range for each type module Mk 14 are specified by which is determined how many subordinate variant modules M1 may be selected simultaneously within a valid configuration KF. The text sequence MinOccurs = "1" MaxOccurs = "1" in the <Type ...> sequence assigned to the module M0 thus means that in a valid configuration KF at least and at most one of the associated variant modules M1 ("Main"). ) or M2 ("Satellite") must be selected. [0048] WeitereModule der Konfigurationsstruktur 7, die Verfahrensabläufe (Workflows)zum Gegenstand haben, sind in der vereinfachten Darstellung gemäß 2 und 3 lediglichaus Gründender Übersichtlichkeit nichtabgebildet.Further modules of the configuration structure 7 , which have procedures (workflows) to the subject are in the simplified representation according to 2 and 3 only for reasons of clarity not shown. [0049] In 4 isteine weitere Textdatei 15 dargestellt, in welcher auszugsweiseund beispielhaft in XML-Kodierung ein Informationspaket 3 undeine Kontexteinheit 10 angegeben sind.In 4 is another text file 15 represented, in which extracts and exemplarily in XML coding an information package 3 and a context unit 10 are indicated. [0050] DasInformationspaket 3 ist durch die Sequenz <Package ...> ... </Package> begrenzt. Der (nichtim Detail ausgeführte)Informationskern 4 des Informationspakets 3 istinnerhalb der Textsequenz <Content> ... </Content> enthalten. Die Meta-Angabe 5 istinnerhalb der Textsequenz <Dependencies> ... </Dependencies> enthalten.The information pack 3 is limited by the sequence <Package ...> ... </ Package>. The (not detailed) information core 4 of the information package 3 is contained within the text sequence <Content> ... </ Content>. The meta statement 5 is contained within the text sequence <Dependencies> ... </ Dependencies>. [0051] DasInformationspaket 3 bezieht sich namens der <RefType ...> bzw. <RefItem ...>-Einträge seiner Meta-Angabe 5 aufdie Variante „TuneUp" des Typs „Workflow" und die Variante „System_003" des Typs „System". Hiermit ist dasInformationspaket 3 jedem Stadium des Workflows „Tune Up" und allen Konfigurationen desSystems „System_003" als zugehörig definiert.The information pack 3 refers to the <RefType ...> or <RefItem ...> entries of its metadata 5 to the variant "Tune Up" of the type "Workflow" and the variant "System_003" of the type "System". Herewith is the information package 3 defined as belonging to each stage of the workflow "Tune Up" and all configurations of the system "System_003". [0052] DieKontexteinheit 10 wird durch die Textsequenz <Context> ... </Context> begrenzt und enthält namensihrer <RefType...> bzw. <RefItem ...>-Einträge einenVerweis 11 auf eine Kombination der Typ-Module „System", „Workflow", „WorkflowMode" und „WorkflowSfp" und ihre jeweilszugeordneten Varianten-Module „System_003", „Tune Up", „General" bzw. „SfpTuncalOpen". Hierdurch ist festgelegt,dass fürden Verfahrensschritt „TuncalOpen" in dem „Tune Up"-Verfahren des Systems „System_003" ein Informationspaket 3 erforderlichist.The context unit 10 is bounded by the text sequence <Context> ... </ Context> and contains a reference under the name of its <RefType ...> or <RefItem ...> entries 11 to a combination of the type modules "System", "Workflow", "WorkflowMode" and "Workflow Sfp" and their respectively assigned variant modules "System_003", "Tune Up", "General" or "SfpTuncalOpen". This establishes that for the "TuncalOpen" step in the "Tune Up" method of the "System_003" system, there is an information packet 3 is required. [0053] Umdie Informationsbibliothek 2 auf Vollständigkeit und Konsistenz zutesten, werden die vorstehend definierten Kriterien der Vollständigkeitund der Konsistenz der Informationsbibliothek 2 nachfolgendin Abhängigkeitder Kontextbibliothek 9 und der Konfigurationsstruktur 7 alsBoolesche Ausdrückeangegeben, die einen binärenAussagewert „wahr" oder „falsch" als Resultat zurückgeben.Diese Ausdrückewerden im Zuge des Testverfahrens auf ihre Erfüllbarkeit getestet.To the information library 2 For completeness and consistency, the above-defined criteria of completeness and consistency of the information library 2 in the following depending on the context library 9 and the configuration structure 7 as Boolean expressions that return a binary statement value "true" or "false" as a result. These terms will be tested for satisfiability in the course of the test procedure. [0054] Inden nachfolgend eingeführtenGleichungen wird Bezug genommen auf Elemente und Attribute der dieModule Mi, Informationspakete 3,3' und Kontextelemente 10,10' beschreibendenXML-Terme. Zu diesem Zweck wird die in TAB 1 schematischaufgeführte „XPath"-Nomenklatur verwendet.Im Hinblick auf diese an sich bekannte Nomenklatur wird auf „Xpath: XML Path Language 2.0. (2002) W3C Working Draft" verwiesen.In the equations introduced below, reference is made to elements and attributes of the modules Mi, information packets 3 . 3 ' and context elements 10 . 10 ' descriptive XML terms. For this purpose, the in TAB 1 In this known nomenclature, reference is made to "Xpath: XML Path Language 2.0. (2002) W3C Working Draft". [0055] Gemäß der inTAB 1 eingeführtenNomenklatur bezeichnet der absolute Pfad/Config/Structure das Element <Structure> ... </Structure> der Konfigurationsstruktur 7 (siehe 3).Der RückbezugType/Item/.. gibt das übergeordneteElement (parent element) zu Type/Item, nämlich Type zurück. Diebeispielhafte Attributauswahl Item@MaxOccurs gibt den Wert des AttributsMaxOccurs eines <Item...>-Elements wieder.In TAB 1 bezeichnet a eine Variable für ein beliebiges XML-Attributund p eine Variable füreinen beliebigen Hierarchiepfad.According to the in TAB 1 introduced nomenclature, the absolute path / config / structure denotes the element <Structure> ... </ Structure> of the configuration structure 7 (please refer 3 ). The back reference Type / Item / .. returns the parent element to Type / Item, namely Type. The example attribute selection Item @ MaxOccurs shows the value of the attribute MaxOccurs of an <Item ...> element. In TAB 1 a is a variable for any XML attribute and p is a variable for any hierarchy path. [0056] Innerhalbder in den Textdateien 13 und 15 enthaltenen XML-Terme sind auch dieIdentifikationsnamen der Module Mi in den Attributen ID bzw. IDREFenthalten. Jedes IDREF-Attribut ist dabei ein Verweis auf ein gleichnamigesID-Attribut, das fürjedes Typ-Modul Mk und Varianten-Modul M1 außerhalb der Konfigurationsstruktur 7 (d.h.der /Config/Structure-Umgebung gemäß 3) in einerseparaten XML-Umgebung der Form /Inventory/InvTypes/InvType/InvItemdefiniert ist.Within the text files 13 and 15 contained XML terms are also the identification names of the modules Mi in the attributes ID and IDREF included. Each IDREF attribute is a reference to an ID attribute of the same name, which is outside the configuration structure for each type module Mk and variant module M1 7 (ie the / config / structure environment according to 3 ) is defined in a separate XML environment of the form / inventory / InvTypes / InvType / InvItem. [0057] ImZuge des vorliegenden Verfahrens wird dem Identifikationsnamen einesjeden Moduls Mi selbst die Eigenschaft einer Booleschen Variablenzugeordnet, die den Wert „wahr" hat, wenn das entsprechendeModul in einer beliebigen Konfiguration ausgewählt ist, und die den Wert „falsch" annimmt, wenn dasentsprechende Modul Mi in der Konfiguration nicht vorhanden ist.Entsprechend hat die auf ein beliebiges <Type ...>-, <SubType...>- oder <Item ...>-Element m (und damitauf ein beliebiges Modul Mi) bezogene Formel m@ID bzw. m@IDREF denWert „wahr" oder „falsch", wenn das entsprechendeElement m (bzw. Modul Mi) in einer Konfiguration vorhanden bzw.nicht vorhanden ist. Die einem <Type...>- oder <SubType ...>-Element t zugeordnete Variable t@IDbzw. t@IDREF ist dabei dann wahr, sobald wenigstens eine Variablei@ID bzw. i@IDREF eines nachgeordneten <Item ...>-Elements i (i ∊ t/Item) wahrist, sobald also wenigstens ein Varianten-Modul M1 des betrachtetenTyps ausgewähltist.In the course of the present method, the identification name of each module Mi itself is the Assigned property to a Boolean variable that has the value "true" if the corresponding module is selected in any configuration and takes the value "false" if the corresponding module Mi is not present in the configuration. Correspondingly, the formula relating to any <Type ...>, <SubType ...> or <Item ...> element m (and thus to any module Mi) has m @ ID or m @ IDREF the value "true" or "false" if the corresponding element m (or module Mi) exists or does not exist in a configuration. The variable t @ ID or t @ IDREF assigned to a <Type ...> or <SubType ...> element t is then true as soon as at least one variable i @ ID or i @ IDREF of a downstream <Item ...> - Elements i (i ε t / Item) is true as soon as at least one variant module M1 of the type considered is selected. [0058] Umdie Vollständigkeitoder Konsistenz der Informationsbibliothek 2 zu testen,wird zunächsteine Formel hergeleitet, die angibt, ob eine beliebige Konfigurationentsprechend der Konfigurationsstruktur 7 gültig ist. DieseAussage wird durch den Aussagewert der folgenden Formel [0059] EineKonfiguration ist nach GLG 1 genau dann gültig, wenn alle <Type ...>-Elemente gesetzt sindund jedes <Type...>-Element entsprechendGLG 3 gültigist. Die in GLG 3 enthaltenen Ausdrücke CardinalityOK(t) (GLG 4),SubItemsValid(t) (GLG 5) und ForbidUnrefItems(t) (GLG 6) entsprechenden vorstehend genannten GültigkeitskriterienT1 bis T3 fürein Typ-Modul: [0060] GLG4 ist nur dann erfüllt,wenn die Anzahl der ausgewählten,dem betrachteten Typ-Modul (d.h. <Type...>- oder <SubType ...>-Element) nachgeordnetenVarianten-Module (d.h. <Item...>-Elemente) innerhalb desdurch MinOccurs und MaxOccurs aufgespannten Auswahlbereichs 14 liegt(zur Wirkung des Operators Sa b(M)in GLG 4 wird auf den Anhang verwiesen).GLG 4 is only satisfied if the number of selected variant modules (ie, <Type ...> or <SubType ...> element), which are selected, follows the variant module (ie <Item ...> - Elements) within the selection area spanned by MinOccurs and MaxOccurs 14 (for the effect of the operator S a b (M) in GLG 4 reference is made to the Annex). [0061] GLG5 ist nur dann wahr, wenn alle ausgewählten nachgeordneten Varianten-Modulegemäß GLG 7 gültig sind.GLG5 is true only if all selected subordinate variant modulesvalid in accordance with GLG 7. [0062] GLG6 testet eine gegebene Konfiguration auf unreferenzierte Varianten-Module(zu der Definition des Ausdrucks unrefItems(t) wird auf den Anhangverwiesen).GLG6 tests a given configuration for unreferenced variant modules(for the definition of the expression unrefItems (t) is attached to the appendix) Directed. [0063] DieGültigkeiteines Varianten-Moduls wird durch den Ausdruck ValConfI(i) = SubTypesValid(i) ∧ ConditionValid(i) ∧ ForbidUnrefTypes(i) GLG 7bestimmt.Die AusdrückeSubTypesValid(i), ConditionValid(i) und ForbidUnrefTypes(i) entsprechenwiederum den GültigkeitskriterienI1 bzw. I2 bzw. I3. Danach ist ein Varianten-Modul innerhalb derzu testenden Konfiguration dann gültig, wenn alle diesem Modulnachgeordneten Typ-Module gültigsind, alle gegebenenfalls mit dem betrachteten Varianten-Modul verknüpfte Bedingungenerfülltsind und nur nachgeordnete Typ-Module ausgewählt sind,die in der Konfigurationsstruktur 7 dem betrachteten Varianten-Modulals Unter-Typen zugeordnet sind.The validity of a variant module is determined by the expression ValConfI (i) = SubTypesValid (i) ∧ ConditionValid (i) ∧ ForbidUnrefTypes (i) GLG 7 certainly. The terms SubTypesValid (i), ConditionValid (i) and ForbidUnrefTypes (i) again correspond to the validity criteria I1, I2 and I3. Thereafter, a variant module within the configuration to be tested is valid if all of this module downstream type modules are valid, all optionally associated with the considered variant module conditions are met and only downstream type modules are selected in the configuration structure 7 assigned to the considered variant module as sub-types. [0064] DieAusdrückeSubTypesValid(i), ConditionValid(i) und ForbidUnrefTypes(i) sindgegeben durch [0065] ZuGLG 8 ist insbesondere zu beachten, dass hier wiederum auf den inGLG 3 definierten Ausdruck ValidConfT(t) Rückbezug genommen wird. Im Gegensatzzu GLG 1 wird in GLG 8 aber ein <SubType...>-Element, d.h.ein nachgeordnetes Typ-Modul, als Argument übergeben, dessen Gültigkeitwiederum anhand der Kriterien T1 bis T3 getestet wird.ToIn particular, GLG 8 should be noted that this again refers to the inGLG 3 defined expression ValidConfT (t) is taken back reference. In contrastbut GLG 1 becomes a <SubType in GLG 8...> - element, i.a subordinate type module, passed as argument, whose validityagain tested against criteria T1 to T3. [0066] Zwischenden GLG 3 und 7 ist somit ein geschlossener Kreisbezug gebildet,aufgrund dessen die Gültigkeitder Konfigurationsstruktur 7 rekursiv bis in die unterste Hierarchieebenegetestet wird.Betweenthe GLG 3 and 7 is thus a closed circular reference formed,because of this the validitythe configuration structure 7 recursively down to the lowest hierarchical levelIs tested. [0067] GLG9 ist trivialerweise wahr (= T), wenn keine Bedingung besteht. Ansonstenist GLG 9 erfüllt,wenn alle Bedingungen erfülltsind. Zu der Definition der Funktion DecodeOp(d) wird ebenso wieim Hinblick auf die in GLG 10 enthaltene Funktion unrefTypes(i)auf den Anhang verwiesen.GLG9 is trivially true (= T) if there is no condition. Otherwiseis GLG 9 fulfilled,if all conditions are metare. The definition of the function DecodeOp (d) is as well asin view of the function unrefTypes contained in GLG 10 (i)refer to the appendix. [0068] Für den Zugriffauf Informationspakete 3,3' werden die folgenden drei Grundfunktionenverwendet: [0069] Inden GLG 11 bis 13 stehen p fürein beliebiges Informationspaket 3,3' und c für eine beliebigeKontexteinheit 10, 10'.In GLG 11 to 13, p stands for any information package 3 . 3 ' and c for any context unit 10 . 10 ' , [0070] HelpReq(c)(GLG 11) definiert, ob eine gegebene Kontexteinheit c für eine beliebigeKonfiguration das Vorhandensein eines Informationspakets 3,3' erfordert,währendHelpProv(p) die Situationen bestimmt, mit welchen ein gegebenesInformationspaket p korrespondiert.HelpReq (c) (GLG 11) defines whether a given context unit c for any configuration is the presence of an information packet 3 . 3 ' while HelpProv (p) determines the situations to which a given information packet p corresponds. [0071] DieVollständigkeitder Informationsbibliothek 2 ist nun äquivalent mit der Allgemeingültigkeitdes Ausdrucks [0072] Ein Überlappzweier Informationspakete p1 und p2, und damit eine Inkonsistenzder Informationsbibliothek 2 besteht dann, wenn der Ausdruck [0073] ImZuge des Testverfahrens werden aus der XML-Kodierung der Informationsbibliothek 2,der Kontextbibliothek 9 und der Konfigurationsstruktur 7 dieGLG 14 und 15 entwickelt und auf ihre Erfüllbarkeit getestet. Im Fallevon GLG 14 wird dabei die Erfüllbarkeitder Negation getestet.In the course of the test procedure, the XML coding of the information library becomes 2 , the context library 9 and the configuration structure 7 the GLG 14 and 15 were developed and tested for their satisfiability. In the case of GLG 14, the satisfiability of the negation is tested. [0074] EingroßerVorteil dieses Verfahrens besteht darin, dass nicht für jede einzelnemöglicheKonfiguration und jede betroffenen Kontexteinheit die Vollständigkeitund Konsistenz der Informationsbibliothek separat geprüft werdenmuss. Vielmehr wird die Erfüllbarkeitder BooéschenAusdrückegemäß GLG 14und 15 unter Verwendung gängigerMethoden der propositionalen Logik, insbesondere SAT, rechnergestützt mitwesentlich rationalisiertem Rechenaufwand überprüft.OnegreaterAdvantage of this method is that not for every single onepossibleConfiguration and any context unit concerned the completenessand consistency of the information library are checked separatelygot to. Rather, the satisfiability becomesthe Booéschenexpressionsin accordance with GLG 14and 15 using common onesMethods of propositional logic, in particular SAT, computer-aided withsignificantly rationalized computational effort. [0075] ImFehlerfall (d.h. bei Unvollständigkeitoder Inkonsistenz) wird eine Formel erzeugt, die einen Satz vonSituationen, in welchen der Fehler auftritt, beschreibt. Diese Formelwird unter Verwendung an sich bekannter BDD-Methoden vereinfacht.in theError case (ie incompleteor inconsistency), a formula is generated that contains a set ofSituations in which the error occurs describes. This formulais simplified using per se known BDD methods. [0076] Beieinem Vollständigkeitsfehlerwird der oder jeder Kontext, zu welchem ein erforderliches Hilfspaket 3 nichtexistiert, gegebenenfalls zusammen mit der relevanten Konfigurationangezeigt. Bei einem Konsistenzfehler werden insbesondere die überlappendenInformationspakete 3, bevorzugt zusammen mit dem relevantenKontext, angezeigt.In a completeness error, the or each context becomes a required helper package 3 does not exist, if applicable, displayed together with the relevant configuration. In the case of a consistency error, in particular the overlapping information packets 3 , preferably together with the relevant context, displayed. [0077] DieseAnzeige erfolgt bevorzugt mittels eines im Hinblick auf die Erstellungund Wartung des Informationssystems 1 spezialisierten Editors 16,dessen Benutzeroberflächein 5 dargestellt ist.This display is preferably done by means of a with regard to the creation and maintenance of the information system 1 specialized editor 16 whose user interface is in 5 is shown. [0078] DerEditor 16 umfasst ein erstes Anzeigefeld 17 zurAnzeige der Struktur der Informationsbibliothek 2 und derdarin enthaltenen Informationspakete 3. Der Editor 16 umfasstweiterhin ein zweites Anzeigefeld 18, in welchem die Meta-Angabe 5 einesausgewähltenInformationspakets 3' angezeigtwird. Der Editor 16 umfasst des Weiteren Funktionselemente 19 zumBearbeiten oder Erstellen eines Informationspaketes 3 sowie Funktionselemente 20 und 21 zumBearbeiten der Meta-Angabe 5 eines Informationspaketes 3' bzw. zum Startendes beschriebenen Vollständigkeits-und Konsistenztests.The editor 16 includes a first display field 17 to display the structure of the information library 2 and the information packages contained therein 3 , The editor 16 further includes a second display panel 18 in which the meta-statement 5 a selected information package 3 ' is shown. The editor 16 further includes functional elements 19 to edit or create an information package 3 as well as functional elements 20 and 21 to edit the meta-statement 5 an information packet 3 ' or to start the completeness and consistency test described. [0079] Wirdein Konsistenzfehler festgestellt, so werden die überlappendenInformationspakete 3 in dem Anzeigefeld 17 entsprechendfarblich gekennzeichnet.If a consistency error is detected, the overlapping information packets become 3 in the display field 17 marked accordingly in color. [0080] ZumBearbeiten der Meta-Angabe 5 eines Informationspaketes 3' dient ein in 6 dargestellterweiterer Editor 23. Dieser Editor 23 umfasst einerstes Anzeigefeld 24, in welchem die aktuelle Meta-Angabe 5 angezeigtist. Um eine einfache und wenig fehleranfällige Bearbeitung der Meta-Angabe 5 zuermöglichen,umfasst der Editor 23 ein weiteres Anzeigefeld 25.In diesem weiteren Anzeigefeld 25 sind die Module Mi derEinrichtung 6 aufgelistet. Diese aufgelisteten Module Mikönnen,z.B. per Mausklick, ausgewähltund in die Meta-Angabe 5 des Informationspakets 3' aufgenommenwerden. Ebenso könnenvor handene Zugehörigkeiten zuModulen Mi aus der aktuellen Meta-Angabe 5 des Informationspakets 3' entfernt werden.To edit the meta statement 5 an information packet 3 ' serves a in 6 shown further editor 23 , This editor 23 includes a first display field 24 in which the current meta-statement 5 is displayed. For a simple and less error-prone editing of the meta-statement 5 To enable the editor includes 23 another display field 25 , In this further display field 25 are the modules Mi of the device 6 listed. These listed modules Mi can, for example, by mouse click, selected and in the meta-specification 5 of the information package 3 ' be recorded. Likewise, prior memberships to modules may be from the current meta statement 5 of the information package 3 ' be removed. Anhang attachment
权利要求:
Claims (9) [1] Verfahren zur Vollständigkeits- und Konsistenzprüfung einerInformationsbibliothek (2), die einer Anzahl von Modulen(Mi; i = 0,1,2,...) zugeordnet ist, aus welchen entsprechend einervorgegebenen Konfigurationsstruktur (7) eine Einrichtung(6) zusammensetzbar ist, – wobei die Informationsbibliothek(2) eine Anzahl von Informationspaketen (3,3') umfasst, vondenen jedes einen Informationskern (4) und eine Meta-Angabe(5) enthält,die die Zugehörigkeitdes Informationspakets (3,3') zu mindestens einem Modul (Mi)definiert, – wobeieine Kontextbibliothek (9) vorgegeben wird, die eine Anzahlvon Kontexteinheiten (10,10') umfasst, von denen jede Kontexteinheit(10,10')einen Verweis (11) auf eine Kombination (K) von Modulen(Mi) enthält, für welcheKombination (K) das Vorhandensein eines Informationspakets (3,3') erforderlichist, und – wobeizur Überprüfung derInformationsbibliothek (2) auf Vollständigkeit und Konsistenz getestetwird, ob für einejede entsprechend der Konfigurationsstruktur (7) gültige Konfiguration(KF) von Modulen (Mi) und eine jede betroffene Kontexteinheit (10,10'), die auf einein dieser Konfiguration (KF) enthaltene Kombination (K) verweist,ein bzw. nur ein korrespondierendes Informationspaket (3,3') vorhandenist, welches entsprechend seiner Meta-Angabe (5) mit dieserKonfiguration (KF) kompatibel ist und dieser Kombination (K) alszugehörig definiertist.Method for checking the completeness and consistency of an information library ( 2 ), which is assigned to a number of modules (Mi; i = 0,1,2,...) from which, according to a predetermined configuration structure (Mi; 7 ) An institution ( 6 ), the information library ( 2 ) a number of information packets ( 3 . 3 ' ), each of which an information core ( 4 ) and a meta-statement ( 5 ) containing the membership of the information package ( 3 . 3 ' ) to at least one module (Mi), - where a context library ( 9 ) containing a number of context units ( 10 . 10 ' ), of which each context unit ( 10 . 10 ' ) a reference ( 11 ) to a combination (K) of modules (Mi), for which combination (K) the presence of an information packet ( 3 . 3 ' ), and - whereby, to check the information library ( 2 ) is tested for completeness and consistency, whether for each according to the configuration structure ( 7 ) valid configuration (KF) of modules (Mi) and each affected context unit ( 10 . 10 ' ), which refers to a combination (K) contained in this configuration (KF), one or only a corresponding information packet ( 3 . 3 ' ), which according to its meta-specification ( 5 ) is compatible with this configuration (KF) and is defined as belonging to this combination (K). [2] Verfahren nach Anspruch 1, dadurch gekennzeichnet,dass bei festgestellter Unvollständigkeitder Informationsbibliothek (2) die oder jede Kontexteinheit(10,10'),für welcheein korrespondierendes Informationspaket (3,3') nicht vorhandenist, oder die in dem Verweis (11) dieser Kontexteinheit(10,10')spezifizierte Kombination (K) von Modulen (Mi) angezeigt wird.Method according to Claim 1, characterized in that if the incompleteness of the information library ( 2 ) the or each context unit ( 10 . 10 ' ), for which a corresponding information package ( 3 . 3 ' ), or in the reference ( 11 ) of this context unit ( 10 . 10 ' ) specified combination (K) of modules (Mi) is displayed. [3] Verfahren nach Anspruch 1 oder 2, dadurch gekennzeichnet,dass bei festgestellter Inkonsistenz der Informationsbibliothek(2) diejenigen Informationspakete (3,3'), die mit einund derselben Kontexteinheit (10,10') im Hinblick auf ein und dieselbeKonfiguration (KF) korrespondieren, angezeigt werden.A method according to claim 1 or 2, characterized in that when detected inconsistency of the information library ( 2 ) those information packages ( 3 . 3 ' ) with one and the same context unit ( 10 . 10 ' ) with respect to one and the same configuration (KF). [4] Verfahren nach einem der Ansprüche 1 bis 3, dadurch gekennzeichnet,dass die Konfigurationsstruktur (7), die Informationsbibliothek(2) und die Kontextbibliothek (9) als Textdateienim XML-Format hinterlegt sind.Method according to one of claims 1 to 3, characterized in that the configuration structure ( 7 ), the information library ( 2 ) and the context library ( 9 ) are stored as text files in XML format. [5] Verfahren nach einem der Ansprüche 1 bis 4, dadurch gekennzeichnet,dass die Konfigurationsstruktur (7) als Baumstruktur mitmehreren Hierarchieebenen (Ei; i = 0,1,2,...) hinterlegt ist, innerhalbwelcher die Module (Mi) einander hierarchisch zugeordnet sind.Method according to one of claims 1 to 4, characterized in that the configuration structure ( 7 ) is stored as a tree structure with several hierarchical levels (Ei; i = 0,1,2, ...), within which the modules (Mi) are hierarchically assigned to one another. [6] Verfahren nach Anspruch 5, dadurch gekennzeichnet,dass die Module (Mi) Typ-Module (Mk; k = 0,3,6-10) und Varianten-Module (M1; l = 1,2,4,5,11-18)umfassen, und dass in aufeinanderfolgenden Hierarchieebenen (Ej)der Konfigurationsstruktur (7) alternierend Typ-Module(Mk) und Varianten-Module (M1) aufgenommen sind, wobei einem Typ-Modul (Mk) stetsmindestens ein zugehörigesVarianten-Modul(M1) direkt nachgeordnet ist.Method according to claim 5, characterized in that the modules (Mi) are type modules (Mk; k = 0,3,6-10) and variant modules (M1; l = 1,2,4,5,11-18 ) and that in successive hierarchical levels (Ej) of the configuration structure ( 7 ) alternately type modules (Mk) and variant modules (M1) are added, wherein a type module (Mk) always at least one associated variant module (M1) is directly downstream. [7] Verfahren nach Anspruch 5 oder 6, dadurch gekennzeichnet,dass eine Konfiguration (KF) von Modulen (Mi) dann als gültig er kanntwird, wenn innerhalb dieser Konfiguration (KF) jedes Typ-Modul (Mk)und jedes Varianten-Modul (M1) vorgegebene Gültigkeitskriterien erfüllt.Method according to claim 5 or 6, characterizedthat a configuration (KF) of modules (Mi) then known as validif, within this configuration (KF), each type module (Mk)and each variant module (M1) satisfies predetermined validity criteria. [8] Verfahren nach Anspruch 7, dadurch gekennzeichnet,dass als Gültigkeitskriterienfür einTyp-Modul (Mk) einer Konfiguration (KF) getestet wird, – ob dieAnzahl der als diesem Typ-Modul (Mk) nachgeordnet ausgewählten Varianten-Module(M1) innerhalb eines vorgegebenen Auswahl-Bereichs (14)liegt, – objedes dieser Varianten-Module (M1) vorgegebene Gültigkeitskriterien erfüllen, und – ob inder Konfiguration (KF) nur solche Varianten-Module als dem Typ-Modul(Mk) nachgeordnet ausgewählt sind,die entsprechend der Konfigurationsstruktur (7) diesemTyp-Modul (Mk) zulässigerweisenachzuordnen sind.A method according to claim 7, characterized in that is tested as validity criteria for a type module (Mk) of a configuration (KF), - whether the number of selected as this type module (Mk) downstream variant modules (M1) within a predetermined selection range ( 14 ) - whether each of these variant modules (M1) fulfill predetermined validity criteria, and - whether in the configuration (KF) only those variant modules are selected as being subordinate to the type module (Mk), which correspond to the configuration structure ( 7 ) of this type module (Mk) are permissible. [9] Verfahren nach Anspruch 7 oder 8, dadurch gekennzeichnet,dass als Gültigkeitskriterienfür einVarianten-Modul (M1) einer Konfiguration (KF) getestet wird, – ob jedesals diesem Varianten-Modul (M1) nachgeordnet ausgewählte Typ-Modul() vorgegebene Gültigkeitskriterienerfüllt, – ob jededem Varianten-Modul (M1) zugeordnete Bedingung (12) erfüllt sind,und – obin der Konfiguration (KF) nur solche Typ-Module (Mk) als dem Varianten-Modul(M1) nachgeordnet ausgewähltsind, die entsprechend der Konfigurationsstruktur (7) demVarianten-Modul (M1) zulässigerweise nachzuordnensind.A method according to claim 7 or 8, characterized in that is tested as validity criteria for a variant module (M1) of a configuration (KF), - whether each as this variant module (M1) downstream selected type module () meets predetermined validity criteria , - whether each condition associated with the variant module (M1) ( 12 ), and - whether in the configuration (KF) only those type modules (Mk) are selected as being downstream of the variant module (M1), which correspond to the configuration structure (M) 7 ) are admissible to the variant module (M1).
类似技术:
公开号 | 公开日 | 专利标题 DE102012102770B4|2019-12-19|System and method for error isolation and error mitigation based on network modeling EP2194432B1|2011-11-09|Scheduling-Verfahren EP0689694B1|1997-01-02|Verfahren zur maschinellen erzeugung von nebenläufig bearbeitbaren befehlsgruppen aus einem programm für superskalare mikroprozessoren EP1472819B1|2006-07-26|Nachrichtenanalyseeinrichtung und Verfahren zum Anzeigen von Nachrichten DE102005016561B4|2008-01-31|Method and device for the structured acquisition and processing of problems occurring in a system EP2453326B1|2019-12-25|Verfahren und System zur Bedienung einer Maschine aus der Automatisierungstechnik EP0753168B1|1998-06-03|Verfahren zur automatischen diagnose von störungsfällen EP1518154B1|2008-02-27|Verfahren zur auswahl und/oder fertigung von automatisierungshardware DE60021066T2|2006-05-18|Checking a software package DE10231675B4|2004-09-23|Simulation system for machine simulation and data output of control data for an automation system EP2801872B1|2018-06-06|Testeinrichtung zum Test eines virtuellen Steuergeräts EP1989601B1|2010-11-24|System und verfahren zur analyse eines fertigungsprozesses EP1425661A2|2004-06-09|Visualisierung eines vergleichsergebnisses mindestens zweier in verzeichnisbäumen organisierter datenstrukturen EP2367083B1|2016-10-05|Vorrichtung zur Erstellung eines Programms für eine speicherprogrammierbare Steuerung, Programmiereinrichtung und Verfahren zur Programmierung einer speicherprogrammierbaren Steuerung DE112010004420T5|2012-12-27|Method and system for improving the execution time of software by optimizing a performance model DE10054542A1|2002-06-20|Test method and test device for commissioning systems controlled by program logic EP1192543B1|2002-11-13|Verfahren und anordnung zur ermittlung eines fehlerbaums eines technischen systems, computerprogramm-erzeugnis und computerlesbares speichermedium dafür EP2009525B1|2011-11-02|Testvorrichtung zum Testen wenigstens eines elektronischen Steuerungssystems und Verfahren dazu EP1430369B1|2014-04-02|Dynamischer zugriff auf automatisierungsressourcen EP1470459B1|2005-08-17|Frühzeitige prognose der zuverlässigkeit einer technischen anordnung DE102004036976A1|2006-03-23|Method for generating Internet pages, associated computer program and computer system DE10343963A1|2005-04-14|Provision of diagnostic information EP1182528A2|2002-02-27|Industrielle Steuerung auf der Basis verteilbarer Technologischer Objekte DE10309246B4|2009-06-18|Procedure for event management EP1634130B1|2013-11-13|Vorrichtung und verfahren zur programmierung und/oder ausführung von programmen für industrielle automatisierungssysteme
同族专利:
公开号 | 公开日 DE102004023634B4|2007-09-27| US20060050654A1|2006-03-09| US7716188B2|2010-05-11|
引用文献:
公开号 | 申请日 | 公开日 | 申请人 | 专利标题
法律状态:
2005-12-08| OP8| Request for examination as to paragraph 44 patent law| 2008-03-27| 8364| No opposition during term of opposition| 2016-05-02| R081| Change of applicant/patentee|Owner name: SIEMENS HEALTHCARE GMBH, DE Free format text: FORMER OWNER: SIEMENS AKTIENGESELLSCHAFT, 80333 MUENCHEN, DE | 2017-12-01| R119| Application deemed withdrawn, or ip right lapsed, due to non-payment of renewal fee|
优先权:
[返回顶部]
申请号 | 申请日 | 专利标题 DE102004023634A|DE102004023634B4|2004-05-10|2004-05-10|Method for checking the completeness and consistency of an information library|DE102004023634A| DE102004023634B4|2004-05-10|2004-05-10|Method for checking the completeness and consistency of an information library| US11/125,026| US7716188B2|2004-05-10|2005-05-09|Method for checking the completeness and consistency of an information library| 相关专利
Sulfonates, polymers, resist compositions and patterning process
Washing machine
Washing machine
Device for fixture finishing and tension adjusting of membrane
Structure for Equipping Band in a Plane Cathode Ray Tube
Process for preparation of 7 alpha-carboxyl 9, 11-epoxy steroids and intermediates useful therein an
国家/地区
|